"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
- Preventing common bugs with temporal logic assertions
用時態(tài)邏輯斷言防止常見錯誤 - temporal logic can help make these assertions
時態(tài)邏輯可以幫助產(chǎn)生這些斷言。 - Assertions and temporal logic in java programming
java編程中的斷言和時態(tài)邏輯 - Introduce temporal logic to assertions to supplement testing
將時態(tài)邏輯引入斷言來補充測試 - temporal logic assertions can help to diagnose such bugs
時態(tài)邏輯可以有助于診斷此類錯誤。 - Listing 1 shows some examples of temporal logic assertions
清單1顯示了一些時態(tài)邏輯斷言示例: - Diagnosing java code : using temporal logic with bug patterns
診斷java代碼:將時態(tài)邏輯用于錯誤模式 - The semantics and generalized tautology of fuzzy temporal logic
模糊時序邏輯的語義及其廣義重言式 - Using temporal logic with bug patterns
將時態(tài)邏輯用于錯誤模式 - These modal operators are usually available in temporal logic
通常,下列模態(tài)操作符可用于時態(tài)邏輯: